Tootfinder

Parametricity via Cohesion
C. B. Aberl\'e
https://arxiv.org/abs/2404.03825 https://arxiv.org/pdf/2404.03825

Parametricity via Cohesion
Parametricity is a key metatheoretic property of type systems, which implies strong uniformity & modularity properties of the structure of types within systems possessing it. In recent years, various systems of dependent type theory have emerged with the aim of expressing such parametric reasoning in their internal logic, toward the end of solving various problems arising from the complexity of higher-dimensional coherence conditions in type theory. This paper presents a first step toward the u…

On the Optimal MMSE Channel Estimation for One-Bit Quantized MIMO Systems
Minhua Ding, Italo Atzeni, Antti T\"olli, A. Lee Swindlehurst
https://arxiv.org/abs/2404.05536

On the Optimal MMSE Channel Estimation for One-Bit Quantized MIMO Systems
This paper focuses on the minimum mean squared error (MMSE) channel estimator for multiple-input multiple-output (MIMO) systems with one-bit quantization at the receiver side. Despite its optimality and significance in estimation theory, the MMSE channel estimator has not been fully investigated in this context due to its general non-linearity and computational complexity. Instead, the typically suboptimal Bussgang linear MMSE (BLMMSE) estimator has been widely adopted. In this work, we develop…

"""
Predictive processing also sheds considerable light on a wide range of typical and atypical forms of human experience. A good starting point is to notice that there are two very broad ways for such processing to go wrong. The first is for the brain to underweight predictions and expectations. This will make it hard to detect faint but predictable patterns in a noisy or ambiguous environment. But the second general way to go wrong is for the brain to overweight expectations. In extreme cases, overweighting results in hallucinations. You seem to see and hear things that aren't there, just because […] they are at some level strongly expected.
Autism spectrum condition was initially thought to reflect a specific imbalance of the first kind — a systematic underweighting of prior expectations. […] Underweighting prior knowledge would make weak or elusive patterns hard to detect, and hard to learn too. Such patterns would include things like facial expressions, intonation, or body language, things that delicately hint, in context, at other people's mental states and attitudes. An imbalance of that kind would also make it very hard to learn these patterns in the first place, and even harder to recognize them in situations that are complicated or ambiguous. Recent evidence casts subtle doubt, however, on this bald initial hypothesis. Rather than weakened predictions, intriguing evidence is emerging that suggests that the core issue involves (not underweighting knowledge-based predictions but) actively overweighting the incoming sensory evidence.
[…]
She doesn't just feel "hunger," instead the more fine-grained specifics of the bodily signals dominate. You are feeling a whole lot of something — but what is it? According to the overweighted sensory information theory, autism spectrum condition individuals constantly encounter an excess of highly detailed and apparently very salient sensory information of this kind, coming from both inside their own body and the outside world. This sensory excess impedes the moment-by-moment identification of the broader context or scenario (in this case, hunger). In other words, the emphasis on every aspect of sensory detail effectively makes it impossible to spot the larger forest for the trees.
"""
(Andy Clark, The Experience Machine: How Our Minds Predict and Shape Reality)
#ActuallyAutistic

Nonlinear Model Reduction to Temporally Aperiodic Spectral Submanifolds
George Haller, Roshan S. Kaundinya
https://arxiv.org/abs/2404.05355 https://…

Nonlinear Model Reduction to Temporally Aperiodic Spectral Submanifolds
We extend the theory of spectral submanifolds (SSMs) to general non-autonomous dynamical systems that are either weakly forced or slowly varying. Examples of such systems arise in structural dynamics, fluid-structure interactions and control problems. The time-dependent SSMs we construct under these assumptions are normally hyperbolic and hence will persist for larger forcing and faster time dependence that are beyond the reach of our precise existence theory. For this reason, we also derive fo…

Relaxed hydrodynamic theory of electrically driven non-equilibrium steady states
Daniel K. Brattan, Masataka Matsumoto, Matteo Baggioli, Andrea Amoretti
https://arxiv.org/abs/2404.05568

Relaxed hydrodynamic theory of electrically driven non-equilibrium steady states
Hydrodynamics, as an effective theory capturing long-wavelength and late-time dynamics around thermal equilibrium states, finds applications in diverse physical systems, ranging from electron flow in metals, to ocean wave propagation, traffic flow, bacterial motion and the quark-gluon plasma. On the other hand, non-equilibrium steady states (NESS), characterized by a stationary flow of energy or matter in the presence of a driving force, are pervasive in nature but they present significant chal…

This https://arxiv.org/abs/2404.01155 has been replaced.
link: https://scholar.google.com/scholar?q=a

Dynamic Modeling and Stability Analysis for Repeated LVRT Process of Wind Turbine Based on Switched System Theory
The significant electrical distance between wind power collection points and the main grid poses challenges for weak grid-connected wind power systems. A new type of voltage oscillation phenomenon induced by repeated low voltage ride-through (LVRT) of the wind turbine has been observed, threatening the safe and stable operation of such power systems. Therefore, exploring dynamic evolution mechanisms and developing stability analysis approaches for this phenomenon have become pressing imperative…

Distributed Invariant Kalman Filter for Cooperative Localization using Matrix Lie Groups
Yizhi Zhou, Yufan Liu, Pengxiang Zhu, Xuan Wang
https://arxiv.org/abs/2405.04000

Distributed Invariant Kalman Filter for Cooperative Localization using Matrix Lie Groups
This paper studies the problem of Cooperative Localization (CL) for multi-robot systems, where a group of mobile robots jointly localize themselves by using measurements from onboard sensors and shared information from other robots. We propose a novel distributed invariant Kalman Filter (DInEKF) based on the Lie group theory, to solve the CL problem in a 3-D environment. Unlike the standard EKF which computes the Jacobians based on the linearization at the state estimate, DInEKF defines the rob…

This https://arxiv.org/abs/2308.08280 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Large time asymptotics for partially dissipative hyperbolic systems without Fourier analysis: application to the nonlinearly damped p-system
A new framework to obtain time-decay estimates for partially dissipative hyperbolic systems set on the real line is developed. Under the classical Shizuta-Kawashima (SK) stability condition, equivalent to the Kalman rank condition in control theory, the solutions of these systems decay exponentially in time for high frequencies and polynomially for low ones. This allows to derive a sharp description of the space-time decay of solutions for large time. However, such analysis relies heavily on th…

This https://arxiv.org/abs/2312.04872 has been replaced.
initial toot: https://mastoxiv.page/@a…

Formal Green's function theory in non-Hermitian lattice systems
In this paper, we employ the generalized Bloch theory to rediscover the generalized Brillouin zone theory and follow this way to obtain the Green's function of the non-Hermitian system. We focus on a classical chiral model and give the exact expression of the Green's function for a finite-size system and the formal expression of the Green's function suitable for infinite size. Based on these results, we further derive the correlation matrix and validate it numerically against direct calculation…

This https://arxiv.org/abs/2403.17201 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Emergence of multiphoton quantum coherence by light propagation
The modification of the quantum properties of coherence of photons through their interaction with matter lies at the heart of the quantum theory of light. Indeed, the absorption and emission of photons by atoms can lead to different kinds of light with characteristic quantum statistical properties. As such, different types of light are typically associated with distinct sources. Here, we report on the observation of the modification of quantum coherence of multiphoton systems in free space. Thi…

A user's guide to Beilinson-Kato's zeta elements
Chan-Ho Kim
https://arxiv.org/abs/2404.05186 https://arxiv.org/pdf/2404.0518…

A user's guide to Beilinson-Kato's zeta elements
In his ground-breaking work, K. Kato constructed the Euler system of Beilinson--Kato's zeta elements and proved spectacular results on the Iwasawa main conjecture for elliptic curves and the classical and $p$-adic Birch and Swinnerton-Dyer conjectures by using these elements. The goal of this expository lecture note is to explain how Kato's Euler systems fit into the framework of the arithmetic of elliptic curves and their Iwasawa theory, and we hope that this approach eventually helps the read…

This https://arxiv.org/abs/2303.04829 has been replaced.
link: https://scholar.google.com/scholar?q=a

Initial value formulation of a quantum damped harmonic oscillator
The in-in formalism and its influence functional generalization are widely used to describe the out-of-equilibrium dynamics of unitary and open quantum systems, respectively. In this paper, we build on these techniques to develop an effective theory of a quantum damped harmonic oscillator and use it to study initial state-dependence, decoherence, and thermalization. We first consider a Gaussian initial state and quadratic influence functional and obtain general equations for the Green's functio…

This https://arxiv.org/abs/2304.14587 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Smooth Indirect Solution Method for State-constrained Optimal Control Problems with Nonlinear Control-affine Systems
This paper proposes a new indirect solution method for solving state-constrained optimal control problems by revisiting the well-established optimal control theory and addressing the long-standing issue of discontinuous control and costate due to pure state inequality constraints. It is well-known that imposing pure state path constraints in optimal control problems introduces discontinuities in the control and costate, rendering the classical indirect solution methods ineffective to numericall…

Low-Dimensional Projection of Reactive Islands in Chemical Reaction Dynamics Using a Supervised Dimensionality Reduction Method
Ryoichi Tanaka, Yuta Mizuno, Takuro Tsutsumi, Mikito Toda, Tetsuya Taketsugu, Tamiki Komatsuzaki
https://arxiv.org/abs/2403.04128

Low-Dimensional Projection of Reactive Islands in Chemical Reaction Dynamics Using a Supervised Dimensionality Reduction Method
Transition state theory is a standard framework for predicting the rate of a chemical reaction. Although the transition state theory has been successfully applied to numerous chemical reaction analyses, many experimental and theoretical studies have reported chemical reactions with a reactivity which cannot be explained by the transition state theory due to dynamic effects. Dynamical systems theory provides a theoretical framework for elucidating dynamical mechanisms of such chemical reactions.…

Examination Minutes Measurement of Single-Antenna-Element Beamforming
Nils L. Johannsen, Lukas Grundmann
https://arxiv.org/abs/2403.04525 https://

Examination Minutes Measurement of Single-Antenna-Element Beamforming
This document shall provide all knowledge gained in conjunction and preparation with the conducted measurements in the antenna measurement chamber of the Institute of Microwave and Wireless Systems (IMW) of the Leibniz University of Hannover (LUH). The measurements have been prepared and conducted by Lukas Grundmann, IMW, and Nils L. Johannsen, Chair of Information and Coding Theory (ICT) of the Christian- Albrechts-University (CAU) of Kiel. This minute shall allow a simpler understanding and q…

A Categorical Treatment of Open Linear Systems
Dario Stein, Richard Samuelson
https://arxiv.org/abs/2403.03934 https://arxiv.org/pdf/…

A Categorical Treatment of Open Linear Systems
An open stochastic system à la Willems is a system affected two qualitatively different kinds of uncertainty -- one is probabilistic fluctuation, and the other one is nondeterminism caused by lack of information. We give a formalization of open stochastic systems in the language of category theory. A new construction, which we term copartiality, is needed to model the propagating lack of information (which corresponds to varying sigma-algebras). As a concrete example, we discuss extended Gau…

This https://arxiv.org/abs/2402.13996 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_grqc_…

Binary dynamics to second post-Newtonian order in scalar-tensor and Einstein-scalar-Gauss-Bonnet gravity from effective field theory
Using effective field theory methods, we compute in detail the Lagrangian for the conservative dynamics of compact binary systems, for spinless constituents and in the gravitationally bound case, in massless scalar-tensor (ST) and Einstein-scalar-Gauss-Bonnet gravity (EsGB) to the second post-Newtonian (2PN) order. We employ the Kaluza-Klein parametrization of the metric, and demonstrate that, also in this case, a significant reduction in the number of diagrams is achieved. Still, to the 2PN ac…

This https://arxiv.org/abs/2403.11382 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Topological singularity-induced self-energy in strongly correlated fermion systems
Employing ab initio many-body perturbation theory combined with dynamical mean field theory, we discovered that in strongly correlated topological semimetals HoPtBi and PrAlGe, which exhibit topological singular points in the vicinity of the Fermi level, the formation of 4$f$ quasiparticles are forbidden. We show that blocking hybridization channels at the topological singular point effectively enhances on-site Coulomb repulsion, resulting in a substantial self-energy. This renders the topologi…

SocialGFs: Learning Social Gradient Fields for Multi-Agent Reinforcement Learning
Qian Long, Fangwei Zhong, Mingdong Wu, Yizhou Wang, Song-Chun Zhu
https://arxiv.org/abs/2405.01839

SocialGFs: Learning Social Gradient Fields for Multi-Agent Reinforcement Learning
Multi-agent systems (MAS) need to adaptively cope with dynamic environments, changing agent populations, and diverse tasks. However, most of the multi-agent systems cannot easily handle them, due to the complexity of the state and task space. The social impact theory regards the complex influencing factors as forces acting on an agent, emanating from the environment, other agents, and the agent's intrinsic motivation, referring to the social force. Inspired by this concept, we propose a novel g…

Scaling relations for heat and momentum transport in sheared Rayleigh-B\'enard convection
Guru Sreevanshu Yerragolam, Christopher J. Howland, Richard J. A. M. Stevens, Roberto Verzicco, Olga Shishkina, Detlef Lohse
https://arxiv.org/abs/2403.04418

Scaling relations for heat and momentum transport in sheared Rayleigh-Bénard convection
We provide scaling relations for the Nusselt number $Nu$ and the friction coefficient $C_{S}$ in sheared Rayleigh-Bénard convection, i.e., in Rayleigh-Bénard flow with Couette or Poiseuille type shear forcing, by extending the Grossmann & Lohse (2000,2001,2002,2004) theory to sheared thermal convection. The control parameters for these systems are the Rayleigh number $Ra$, the Prandtl number $Pr$, and the Reynolds number $Re_S$ that characterises the strength of the imposed shear. By direct n…

This https://arxiv.org/abs/2403.16337 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

On solution of tropical discrete best approximation problems
We consider a discrete best approximation problem formulated in the framework of tropical algebra, which deals with the theory and applications of algebraic systems with idempotent operations. Given a set of samples of input and output of an unknown function, the problem is to construct a generalized tropical Puiseux polynomial that best approximates the function in the sense of a tropical distance function. The construction of an approximate polynomial involves the evaluation of both unknown c…

This https://arxiv.org/abs/2302.07382 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Free Extreme points of free spectrahedrops and generalized free spectrahedra
Matrix convexity generalizes convexity to the dimension free setting and has connections to many mathematical and applied pursuits including operator theory, quantum information, noncommutative optimization, and linear control systems. In the setting of classical convex sets, extreme points are central objects which exhibit many important properties. For example, the Minkowski theorem shows that any element of a closed bounded convex set can be expressed as a convex combination of extreme point…

Speeding up all-electron real-time TDDFT demonstrated by the exciting package
Ronaldo Rodrigues Pela, Claudia Draxl
https://arxiv.org/abs/2403.04351 https:…

Speeding up all-electron real-time TDDFT demonstrated by the exciting package
Currently, many ab initio codes are being prepared for exascale computing. A first and important step is to significantly improve the efficiency of existing implementations by devising better algorithms that can accomplish the same tasks with enhanced scalability. This manuscript addresses this challenge for real-time time-dependent density functional theory in the full-potential all-electron code exciting, with a focus on systems with reduced dimensionality. Following the strategy described he…

This https://arxiv.org/abs/2405.01985 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_nuc…

Systematic study of capture thresholds with time dependent Hartree-Fock theory
With the time dependent Hartree-Fock (TDHF) theory, capture thresholds $E_{\rm cap}$ for 144 fusion systems with nearly spherical nuclei are systematically studied for the first time. We find that for the reactions between doubly-magic nuclei, the calculated $E_{\rm cap}$ are very close to the extracted barrier heights from measured fusion excitation functions. For the fusion reactions with nearly spherical nuclei, an excitation energy of about 1 MeV at the capture position need to be considere…

This https://arxiv.org/abs/2301.09368 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Fast Reactions and Slow Manifolds
In this paper we generalize the Fenichel theory for attracting critical/slow manifolds to fast-reaction systems in infinite dimensions. In particular, we generalize the theory of invariant manifolds for fast-slow partial differential equations in standard form to the case of fast reaction terms. We show that the solution of the fast-reaction system can be approximated by the corresponding slow flow of the limit system. Introducing an additional parameter that stems from a splitting in the slow …

Rescaled Mode-Coupling Scheme for the Quantitative Description of Experimentally Observed Colloid Dynamics
Joel Diaz Maier, Joachim Wagner
https://arxiv.org/abs/2403.04556

Rescaled Mode-Coupling Scheme for the Quantitative Description of Experimentally Observed Colloid Dynamics
We describe experimentally observed collective dynamics in colloidal suspensions of model hard-sphere particles using a modified mode coupling theory (MCT). This rescaled MCT is capable to describe quantitatively the wave-vector and time-dependent diffusion in these systems. Intermediate scattering functions of liquid-like structured dispersions are determined by means of static and dynamic light scattering experiments. The structure and short-time dynamics of the systems can be described quant…

Non-semisimple Crane-Yetter theory varying over the character stack
Patrick Kinnear
https://arxiv.org/abs/2404.19667 https://arxiv.org/pdf/2404.19667
arXiv:2404.19667v1 Announce Type: new
Abstract: We construct a relative version of the Crane-Yetter topological quantum field theory in four dimensions, from non-semisimple data. Our theory is defined relative to the classical $G$-gauge theory in five dimensions -- this latter theory assigns to each manifold $M$ the appropriate linearization of the moduli stack of $G$-local systems, called the character stack. Our main result is to establish a relative invertibility property for our construction. This invertibility echoes -- recovers and greatly generalizes -- the key invertibility property of the original Crane-Yetter theory which allowed it to capture the framing anomaly of the celebrated Witten-Reshetikhin-Turaev theory. In particular our invertibilty statement at the level of surfaces implies a categorical, stacky version of the unicity theorem for skein algebras; at the level of 3-manifolds it equips the character stack with a canonical line bundle. Regarded as a topological symmetry defect of classical gauge theory, our work establishes invertibility of this defect by a gauging procedure.

This https://arxiv.org/abs/2402.04143 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantitative Predictive Theories through Integrating Quantum, Statistical, Equilibrium, and Nonequilibrium Thermodynamics
Today's thermodynamics is largely based on the combined law for equilibrium systems and statistical mechanics derived by Gibbs in 1873 and 1901, respectively, while irreversible thermodynamics for nonequilibrium systems resides essentially on the Onsager Theorem as a separate branch of thermodynamics developed in 1930s. Between them, quantum mechanics was invented and was quantitatively solved in terms of density functional theory (DFT) in 1960s. These three scientific domains operate based on …

Action potentials in vitro: theory and experiment
Ziqi Pi, Giovanni Zocchi
https://arxiv.org/abs/2403.03369 https://arxiv.org/pdf/240…

Action potentials in vitro: theory and experiment
Action potential generation underlies some of the most consequential dynamical systems on Earth, from brains to hearts. It is therefore interesting to develop synthetic cell-free systems, based on the same molecular mechanisms, which may allow for the exploration of parameter regions and phenomena not attainable, or not apparent, in the live cell. We previously constructed such a synthetic system, based on biological components, which fires action potentials. We call it "Artificial Axon". The s…

This https://arxiv.org/abs/2307.08200 has been replaced.
link: https://scholar.google.com/scholar?q=a

Ternary Stochastic Geometry Theory for Performance Analysis of RIS-Assisted UDN
Currently, network topology becomes increasingly complex with the increased number of various network nodes, bringing in the challenge of network design and analysis. Most of the current studies are deduced based on the binary system stochastic geometry, overlooking the coupling and collaboration among nodes. This limitation makes it difficult to accurately analyze network systems, such as reconfigurable intelligent surface (RIS) assisted ultra-dense network (UDN). To address this issue, we pro…

Proof mining and probability theory
Morenikeji Neri, Nicholas Pischke
https://arxiv.org/abs/2403.00659 https://arxiv.org/pdf/2403.006…

Proof mining and probability theory
We extend the theoretical framework of proof mining by establishing general logical metatheorems that allow for the extraction of the computational content of theorems with prima facie "non-computational" proofs from probability theory, thereby unlocking a major branch of mathematics as a new area of application for these methods. Concretely, we devise proof-theoretically tame logical systems that, for one, allow for the formalization of proofs involving algebras of sets together with probabili…

Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints
Joseph Breeden, Luca Zaccarian, Dimitra Panagou
https://arxiv.org/abs/2403.03663 <…

Robust Safety-Critical Control for Systems with Sporadic Measurements and Dwell Time Constraints
This paper presents extensions of control barrier function (CBF) theory to systems with disturbances wherein a controller only receives measurements infrequently and operates open-loop between measurements, while still satisfying state constraints. The paper considers both impulsive and continuous actuators, and models the actuators, measurements, disturbances, and timing constraints as a hybrid dynamical system. We then design an open-loop observer that bounds the worst-case uncertainty betwee…

A Generalized Theory of Interactions -- I. The General Problem
Santiago N\'u\~nez-Corrales, Eric Jakobsson
https://arxiv.org/abs/2403.02346 https://

A Generalized Theory of Interactions -- I. The General Problem
Understanding realistic complex systems requires confronting significant conceptual, theoretical and experimental limitations rooted in the persistence of views that originated in the mechanics of simple moving bodies. We define the category of complex multiscale stochastic systems as a useful device for capturing the minimally required complexity of many types of phenomena. In doing so, we provide evidence indicating that determinism, continuity and reversibility can lead to theoretical inadeq…

Spin-Hall effect in topological materials: Evaluating the proper spin current in systems with arbitrary degeneracies
Hongyang Ma, James H. Cullen, Serajum Monir, Rajib Rahman, Dimitrie Culcer
https://arxiv.org/abs/2405.04581

Spin-Hall effect in topological materials: Evaluating the proper spin current in systems with arbitrary degeneracies
The spin-Hall effect underpins some of the most active topics in modern physics, including spin torques and the inverse spin-Hall effect, yet it lacks a proper theoretical description. This makes it difficult to differentiate the SHE from other mechanisms, as well as differentiate band structure and disorder contributions. Here, by exploiting recent analytical breakthroughs in the understanding of the intrinsic spin-Hall effect, we devise a density functional theory method for evaluating the co…

This https://arxiv.org/abs/2405.00810 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qbi…

A Simple Comparison of Biochemical Systems Theory and Metabolic Control Analysis
This paper explores some basic concepts of Biochemical Systems Theory (BST) and Metabolic Control Analysis (MCA), two frameworks developed to understand the behavior of biochemical networks. Initially introduced by Savageau, BST focuses on system stability and employs power laws in modeling biochemical systems. On the other hand, MCA, pioneered by authors such as Kacser and Burns and Heinrich and Rapoport, emphasizes linearization of the governing equations and describes relationships (known as…

Causal Fermion Systems and Octonions
Felix Finster, Niels G. Gresnigt, J. M. Isidro, Antonino Marciano, Claudio F. Paganini, Tejinder P. Singh
https://arxiv.org/abs/2403.00360

Causal Fermion Systems and Octonions
We compare the structures and methods in the theory of causal fermion systems with approaches to fundamental physics based on division algebras, in particular the octonions. We find that octonions and, more generally, tensor products of division algebras come up naturally to describe the symmetries of the vacuum configuration of a causal fermion system. This is achieved by associating the real and imaginary octonion basis elements with the neutrino and charged sectors of the vacuum fermionic pr…

Noise Reduction of Stochastic Density Functional Theory for Metals
Jake P. Vu, Ming Chen
https://arxiv.org/abs/2403.04203 https://arx…

Noise Reduction of Stochastic Density Functional Theory for Metals
Density Functional Theory (DFT) has become a cornerstone in the modeling of metals. However, accurately simulating metals, particularly under extreme conditions, presents two significant challenges. First, simulating complex metallic systems at low electron temperatures is difficult due to their highly delocalized density matrix. Second, modeling metallic warm-dense materials at very high electron temperatures is challenging because it requires the computation of a large number of partially occ…

This https://arxiv.org/abs/2305.04862 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_hep…

AdS/CFT Correspondence in Hyperbolic Lattices
The celebrated anti-de Sitter/conformal field theory (AdS/CFT) correspondence1-3, also known as the gravity/gauge duality, posits a dual relationship between the quantum gravity in an AdS spacetime and the CFT defined on its lower-dimensional boundary. This correspondence not only offers profound insights into the enigmatic nature of quantum gravity but also shows mighty power in addressing strongly-correlated systems. However, despite its importance in contemporary physics, the AdS/CFT corresp…

Broadband transparent Huygens' spaceplates
Francisco J. D\'iaz-Fern\'andez, Luis Manuel M\'a\~nez-Espina, Ana D\'iaz-Rubio, Viktar Asadchy
https://arxiv.org/abs/2403.04425

Broadband transparent Huygens' spaceplates
Spaceplates have emerged in the context of nonlocal metasurfaces, enabling the compression of optical systems by minimizing the required empty space between their components. In this work, we design and analyze spaceplates that support resonances with opposite symmetries, operating under the so-called Huygens' condition. Using the temporal coupled-mode theory, we demonstrate that the spatial compression provided by Huygens' spaceplates is twice that of conventional single-resonance counterparts…

Analysis of a Leslie-Gower model with Alle effects, cooperative hunting, and constant placement rates
Yonghui Zhao
https://arxiv.org/abs/2403.04552 https:/…

Analysis of a Leslie-Gower model with Alle effects, cooperative hunting, and constant placement rates
This paper investigates the dynamical properties of the Leslie-Gower model with Alle effects, cooperative hunting, and constant placement rates. The conditions for the existence of the triple equilibrium point of the model are first analyzed. Subsequently, the canonical type theory and the qualitative theory of planar systems are applied to obtain that the triple equilibrium point can be a node with a residual dimension of 2 and an equilibrium point with a residual dimension of 3 under differen…

This https://arxiv.org/abs/2308.05258 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Algebraic Varieties in Quantum Chemistry
We develop algebraic geometry for coupled cluster (CC) theory of quantum many-body systems. The high-dimensional eigenvalue problems that encode the electronic Schrödinger equation are approximated by a hierarchy of polynomial systems at various levels of truncation. The exponential parametrization of the eigenstates gives rise to truncation varieties. These generalize Grassmannians in their Plücker embedding. We explain how to derive Hamiltonians, we offer a detailed study of truncation vari…

FMLFS: A federated multi-label feature selection based on information theory in IoT environment
Afsaneh Mahanipour, Hana Khamfroush
https://arxiv.org/abs/2405.00524

FMLFS: A federated multi-label feature selection based on information theory in IoT environment
In certain emerging applications such as health monitoring wearable and traffic monitoring systems, Internet-of-Things (IoT) devices generate or collect a huge amount of multi-label datasets. Within these datasets, each instance is linked to a set of labels. The presence of noisy, redundant, or irrelevant features in these datasets, along with the curse of dimensionality, poses challenges for multi-label classifiers. Feature selection (FS) proves to be an effective strategy in enhancing classif…

Mean-field theory of 1 1D $\mathbb{Z}_2$ lattice gauge theory with matter
Matja\v{z} Kebri\v{c}, Ulrich Schollw\"ock, Fabian Grusdt
https://arxiv.org/abs/2404.02890

Mean-field theory of 1+1D $\mathbb{Z}_2$ lattice gauge theory with matter
Lattice gauge theories (LGTs) provide valuable insights into problems in strongly correlated many-body systems. Confinement which arises when matter is coupled to gauge fields is just one of the open problems, where LGT formalism can explain the underlying mechanism. However, coupling gauge fields to dynamical charges complicates the theoretical and experimental treatment of the problem. Developing a simplified mean-field theory is thus one of the ways to gain new insights into these complicate…

This https://arxiv.org/abs/2401.11982 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Arithmetic degrees of dynamical systems over fields of characteristic zero
In this article, we generalize the arithmetic degree and its related theory to dynamical systems defined over an arbitrary field $\mathbf{k}$ of characteristic $0$. We first consider a dynamical system $(X,f)$ over a finitely generated field $K$ over $\mathbb{Q}$, we introduce the arithmetic degrees $α(f,\cdot)$ for $\overline{K}$-points by using Moriwaki heights. We study the arithmetic dynamical degree of $(X,f)$ and establish the relative degree formula. The relative degree formula gives a …

"The modeller’s quest to pin the organism down and preserve it in aspic destroys the very thing that makes it living."
Subtle critique of the Free Energy Principle and other forms of "invariantist" modeling.
https://www.

From Proof Complexity to Circuit Complexity via Interactive Protocols
Noel Arteche, Erfan Khaniki, J\'an Pich, Rahul Santhanam
https://arxiv.org/abs/2405.02232

From Proof Complexity to Circuit Complexity via Interactive Protocols
Folklore in complexity theory suspects that circuit lower bounds against $\mathbf{NC}^1$ or $\mathbf{P}/\operatorname{poly}$, currently out of reach, are a necessary step towards proving strong proof complexity lower bounds for systems like Frege or Extended Frege. Establishing such a connection formally, however, is already daunting, as it would imply the breakthrough separation $\mathbf{NEXP} \not\subseteq \mathbf{P}/\operatorname{poly}$, as recently observed by Pich and Santhanam (2023). W…

This https://arxiv.org/abs/2307.09553 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csPL_…

Stream Types
We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex sequential patterns of events over time. And (2) it should describe the internal parallel structure of the stream to support deterministic stream processing on parallel and distributed systems. To these ends, we introduce stream types, with operators capturing sequential composition, parallel composition, and iteration…

Organizing Physics with Open Energy-Driven Systems
Matteo Capucci, Owen Lynch, David I. Spivak
https://arxiv.org/abs/2404.16140 https://

Organizing Physics with Open Energy-Driven Systems
Organizing physics has been a long-standing preoccupation of applied category theory, going back at least to Lawvere. We contribute to this research thread by noticing that Hamiltonian mechanics and gradient descent depend crucially on a consistent choice of transformation -- which we call a reaction structure -- from the cotangent bundle to the tangent bundle. We then construct a compositional theory of reaction structures. Reaction-based systems offer a different perspective on composition in…

This https://arxiv.org/abs/2102.08207 has been replaced.
link: https://scholar.google.com/scholar?q=a

Decidability for Sturmian words
We show that the first-order theory of Sturmian words over Presburger arithmetic is decidable. Using a general adder recognizing addition in Ostrowski numeration systems by Baranwal, Schaeffer and Shallit, we prove that the first-order expansions of Presburger arithmetic by a single Sturmian word are uniformly $ω$-automatic, and then deduce the decidability of the theory of the class of such structures. Using an implementation of this decision algorithm called Pecan, we automatically reprove c…

A Generalised Theory of Interactions -- II. The Theoretical Construction
Santiago N\'u\~nez-Corrales, Eric Jakobsson
https://arxiv.org/abs/2403.02348 h…

A Generalised Theory of Interactions -- II. The Theoretical Construction
After discussing the significance of interactions to understand complex multiscale stochastic systems (CMSS), we turn our attention to the construction of a Generalised Theory of Interactions (GToI). We define interactions as discrete, localised events where the thermodynamically irreversible exchange of degrees of freedom involves signal propagation and relaxation phenomena. We proceed to define the mechanics of such space, as well as how these approximately map onto dynamical manifolds. By ch…

To what extent are multiple pendulum systems viable in pseudo-random number generation?
Matthew Sigit
https://arxiv.org/abs/2404.16860 https://

To what extent are multiple pendulum systems viable in pseudo-random number generation?
This paper explores the development and viability of an alternative pseudorandom number generator (PRNG) that leverages the chaotic dynamics of multiple pendulum systems. Some traditional PRNGs, notably the one implemented in the Java.Random class, suffer from predictability which gives rise to exploitability. This study identifies these vulnerabilities and proposes a novel PRNG designed using ordinary differential equations, physics modeling, and chaos theory. The performance of the new PRNG i…

Derivation of Dirac Exchange Interaction Potential from Quantum Plasma Kinetic Theory
Fernando Haas
https://arxiv.org/abs/2405.01265 https://

Derivation of Dirac Exchange Interaction Potential from Quantum Plasma Kinetic Theory
The Dirac exchange interaction is derived from recent quantum kinetic theory for collisionless plasmas. For this purpose, the kinetic equation is written in the semiclassical and long wavelength approximations. The validity of the model for real systems is worked out, in terms of temperature and density parameters. Within the region of applicability, the correlation potential energy is shown to be always smaller than the exchange contribution. From the moments of the quantum kinetic equations, …

This https://arxiv.org/abs/2312.07808 has been replaced.
initial toot: https://mastoxiv.page/@…

A simplified Parisi Ansatz II: REM universality
In a previous work [A simplified Parisi Ansatz, Franchini, S., Commun. Theor. Phys., 73, 055601 (2021)] we introduced a simple method to compute the Random Overlap Structure of Aizenmann, Simm and Stars and the full-RSB Parisi formula for the Sherrington-Kirckpatrick Model without using replica theory. The method consists in partitioning the system into smaller sub-systems that we call layers, and iterate the Bayes rule. A central ansatz in our derivation was that these layers could be approxim…

A solution in terms of mock modular forms for the $q$-Painlev\'{e} equation of the type $(A_2 A_1)^{(1)}$
Satoshi Tsuchimi
https://arxiv.org/abs/2405.02902

A solution in terms of mock modular forms for the $q$-Painlevé equation of the type $(A_2+A_1)^{(1)}$
We present a solution of the $(A_2+A_1)^{(1)}$ $q$-Painlevé equation in terms of the $μ$-function. The $μ$-function introduced by Zwegers is the most fundamental object in the study of mock theta functions. The results of this paper give us an expectation that the theory of mock modular forms and the $τ$-functions of discrete integrable systems are closely related.

This https://arxiv.org/abs/2312.11022 has been replaced.
link: https://scholar.google.com/scholar?q=a

Solving mathematical programs with complementarity constraints arising in nonsmooth optimal control
This paper examines solution methods for mathematical programs with complementarity constraints (MPCC) obtained from the time-discretization of optimal control problems (OCPs) subject to nonsmooth dynamical systems. The MPCC theory and stationarity concepts are reviewed and summarized. The focus is on relaxation-based methods for MPCCs, which solve a (finite) sequence of more regular nonlinear programs (NLP), where a regularization/homotopy parameter is driven to zero. Such methods perform reas…

Semantic Information Theory in a feedback-control Kuramoto Model
Damian R Sowinski, Adam Frank, Gourab Ghoshal
https://arxiv.org/abs/2404.02221 https://

Semantic Information Theory in a feedback-control Kuramoto Model
Semantic Information Theory (SIT) offers a new approach to evaluating the information architecture of complex systems. In this study we describe the steps required to {\it operationalize} SIT via its application to dynamical problems. Our road map has four steps: (1) separating the dynamical system into agent-environment sub-systems; (2) choosing an appropriate coarse graining and quantifying correlations; (3) identifying a measure of viability; (4) implementing a scrambling protocol and measur…

Photon Many-body Dispersion: an Exchange-correlation Functional for Strongly Coupled Light-matter Systems
Cankut Tasci, Leonardo A. Cunha, Johannes Flick
https://arxiv.org/abs/2404.04765

Photon Many-body Dispersion: an Exchange-correlation Functional for Strongly Coupled Light-matter Systems
We introduce an electron-photon exchange-correlation functional for quantum electrodynamical density-functional theory (QEDFT). The approach, photon MBD (pMBD), is inspired by the many-body dispersion (MBD) method for weak intermolecular interactions, which is generalized to include both electronic and photonic (electromagnetic) degrees of freedom on the same footing. We demonstrate that pMBD accurately captures effects that arise in the context of strong light-matter interactions, such as anis…

This https://arxiv.org/abs/2402.10183 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_nuc…

The QCD phase diagram and Beam Energy Scan physics: a theory overview
We review recent theoretical developments relevant to heavy-ion experiments carried out within the Beam Energy Scan program at the Relativistic Heavy Ion Collider. Our main focus is on the description of the dynamics of systems created in heavy-ion collisions and establishing the necessary connection between the experimental observables and the QCD phase diagram.

FMLFS: A federated multi-label feature selection based on information theory in IoT environment
Afsaneh Mahanipour, Hana Khamfroush
https://arxiv.org/abs/2405.00524

FMLFS: A federated multi-label feature selection based on information theory in IoT environment
In certain emerging applications such as health monitoring wearable and traffic monitoring systems, Internet-of-Things (IoT) devices generate or collect a huge amount of multi-label datasets. Within these datasets, each instance is linked to a set of labels. The presence of noisy, redundant, or irrelevant features in these datasets, along with the curse of dimensionality, poses challenges for multi-label classifiers. Feature selection (FS) proves to be an effective strategy in enhancing classif…

k-Fold Gaussian Random Matrix Ensembles I: Forcing Structure into Random Matrices
Michael Brodskiy, Owen L. Howell
https://arxiv.org/abs/2405.01727 https:/…

k-Fold Gaussian Random Matrix Ensembles I: Forcing Structure into Random Matrices
Random Matrix Theory is a powerful tool in applied mathematics. Three canonical models of random matrix distributions are the Gaussian Orthogonal, Unitary and Symplectic Ensembles. For matrix ensembles defined on k-fold tensor products of identical vector spaces we motivate natural generalizations of the Gaussian Ensemble family. We show how the k-fold invariant constraints are satisfied in both disordered spin models and systems with gauge symmetries, specifically quantum double models. We use…

A Simple Comparison of Biochemical Systems Theory and Metabolic Control Analysis
Herbert MM Sauro
https://arxiv.org/abs/2405.00810 https://

A Simple Comparison of Biochemical Systems Theory and Metabolic Control Analysis
This paper explores some basic concepts of Biochemical Systems Theory (BST) and Metabolic Control Analysis (MCA), two frameworks developed to understand the behavior of biochemical networks. Initially introduced by Savageau, BST focuses on system stability and employs power laws in modeling biochemical systems. On the other hand, MCA, pioneered by authors such as Kacser and Burns and Heinrich and Rapoport, emphasizes linearization of the governing equations and describes relationships (known as…

This https://arxiv.org/abs/2312.01441 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Koopman-based feedback design with stability guarantees
We present a method to design a state-feedback controller ensuring exponential stability for nonlinear systems using only measurement data. Our approach relies on Koopman-operator theory and uses robust control to explicitly account for approximation errors due to finitely many data samples. To simplify practical usage across various applications, we provide a tutorial-style exposition of the feedback design and its stability guarantees for single-input systems. Moreover, we extend this control…

This https://arxiv.org/abs/2312.11843 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Enhancing Social Decision-Making of Autonomous Vehicles: A Mixed-Strategy Game Approach With Interaction Orientation Identification
The integration of Autonomous Vehicles (AVs) into existing human-driven traffic systems poses considerable challenges, especially within environments where human and machine interactions are frequent and complex, such as at unsignalized intersections. To deal with these challenges, we introduce a novel framework predicated on dynamic and socially-aware decision-making game theory to augment the social decision-making prowess of AVs in mixed driving environments. This comprehensive framework is …

Approaching Periodic Systems in Ensemble Density Functional Theory \textit{via} Finite One-Dimensional Models
Remi J. Leano, Aurora Pribram-Jones, David A. Strubbe
https://arxiv.org/abs/2402.17742

Approaching Periodic Systems in Ensemble Density Functional Theory \textit{via} Finite One-Dimensional Models
Ensemble Density Functional Theory (EDFT) is a generalization of ground-state Density Functional Theory (GS DFT), which is based on an exact formal theory of finite collections of a system's ground and excited states. EDFT in various forms has been shown to improve the accuracy of calculated energy level differences in isolated model systems, atoms, and molecules, but it is not yet clear how EDFT could be used to calculate band gaps for periodic systems. We extend the application of EDFT toward…

A note on limiting Calderon-Zygmund theory for transformed $n$-Laplace systems in divergence form
Dorian Martino, Armin Schikorra
https://arxiv.org/abs/2404.01922

A note on limiting Calderon-Zygmund theory for transformed $n$-Laplace systems in divergence form
We consider rotated $n$-Laplace systems on the unit ball $B_1 \subset \mathbb{R}^n$ of the form \begin{align*} -\mathrm{div}\left( Q|\nabla u|^{n-2} \nabla u\right) = \mathrm{div}(G), \end{align*} where $u\in W^{1,n}(B_1;\mathbb{R}^N)$, $Q\in W^{1,n}(B_1;SO(N))$ and $G\in L^{\left( \frac{n}{n-1},q \right)}(B_1;\mathbb{R}^n\otimes \mathbb{R}^N)$ for some $0

Using Waste Factor to Optimize Energy Efficiency in Multiple-Input Single-Output (MISO) and Multiple-Input Multiple-Output (MIMO) Systems
Mingjun Ying, Dipankar Shakya, Theodore S. Rappaport
https://arxiv.org/abs/2405.01352

Using Waste Factor to Optimize Energy Efficiency in Multiple-Input Single-Output (MISO) and Multiple-Input Multiple-Output (MIMO) Systems
This paper introduces Waste Factor (W) and Waste Figure (WF) to assess power efficiency in any multiple-input multiple-output (MIMO) or single-input multiple-output (SIMO) or multiple-input single-output (MISO) cascaded communication system. This paper builds upon the new theory of Waste Factor, which systematically models added wasted power in any cascade for parallel systems such as MISO, SIMO, and MIMO systems, which are prevalent in current wireless networks. Here, we also show the advantag…

Invariant Checking for SMT-based Systems with Quantifiers
Gianluca Redondi, Alessandro Cimatti, Alberto Griggio, Kenneth McMillan
https://arxiv.org/abs/2402.19028

Invariant Checking for SMT-based Systems with Quantifiers
This paper addresses the problem of checking invariant properties for a large class of symbolic transition systems, defined by a combination of SMT theories and quantifiers. State variables can be functions from an uninterpreted sort (finite, but unbounded) to an interpreted sort, such as the the integers under the theory of linear arithmetic. This formalism is very expressive and can be used for modeling parameterized systems, array-manipulating programs, and more. We propose two algorithms fo…

Multipartite edge modes and tensor networks
Chris Akers, Ronak M. Soni, Annie Y. Wei
https://arxiv.org/abs/2404.03651 https://arxiv.o…

Multipartite edge modes and tensor networks
Holographic tensor networks model AdS/CFT, but so far they have been limited by involving only systems that are very different from gravity. Unfortunately, we cannot straightforwardly discretize gravity to incorporate it, because that would break diffeomorphism invariance. In this note, we explore a resolution. In low dimensions gravity can be written as a topological gauge theory, which can be discretized without breaking gauge-invariance. However, new problems arise. Foremost, we now need a q…

Spectral form factor in chaotic, localized, and integrable open quantum many-body systems
Jiachen Li, Stephen Yan, Toma\v{z} Prosen, Amos Chan
https://arxiv.org/abs/2405.01641

Spectral form factor in chaotic, localized, and integrable open quantum many-body systems
We numerically study the spectral statistics of open quantum many-body systems (OQMBS) as signatures of quantum chaos (or the lack thereof), using the dissipative spectral form factor (DSFF), a generalization of the spectral form factor to complex spectra. We show that the DSFF of chaotic OQMBS generically displays the $\textit{quadratic}$ ramp-plateau behaviour of the Ginibre ensemble from random matrix theory, in contrast to the linear ramp-plateau behaviour of the Gaussian ensemble in closed…

This https://arxiv.org/abs/2403.14259 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Minimal covariance realization and system identification algorithm for a class of stochastic linear switched systems with i.i.d. switching
In this paper, we consider stochastic realization theory of Linear Switched Systems (LSS) with i.i.d. switching. We characterize minimality of stochastic LSSs and show existence and uniqueness (up to isomorphism) of minimal LSSs in innovation form. We present a realization algorithm to compute a minimal LSS in innovation form from output and input covariances. Finally, based on this realization algorithm, by replacing true covariances with empirical ones, we propose a statistically consistent s…

This https://arxiv.org/abs/2312.00376 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Dynamics of a quantum system interacting with white non-Gaussian baths: Poisson noise master equation
Quantum systems are unavoidably open to their surrounding degrees of freedom. The theory of open quantum systems is thus crucial to understanding the fluctuations, dissipation, and decoherence of a quantum system of interest. Typically, the bath is modeled as an ensemble of harmonic oscillators, which yields Gaussian statistics of the bath influence on the quantum systems. However, there are also phenomena in which the bath consists of two-state systems, spins, or anharmonic oscillators; theref…

This https://arxiv.org/abs/2403.18974 has been replaced.
initial toot: https://mastoxiv.page/@arXi…

Granular gases under resetting
We investigate the granular temperatures in force-free granular gases under exponential resetting. When a resetting event occurs, the granular temperature attains its initial value, while between the resetting events it cools down. We show that the granular system attains a non-equilibrium steady state value and study the dependence of average granular temperature on the resetting rate. Our theory may help to explain the behavior of non-periodically driven granular systems.

This https://arxiv.org/abs/2401.15538 has been replaced.
initial toot: https://mastoxiv.page/@arX…

Ambitions for theory in the physics of life
Theoretical physicists have been fascinated by the phenomena of life for more than a century. As we engage with more realistic descriptions of living systems, however, things get complicated. After reviewing different reactions to this complexity, I explore the optimization of information flow as a potentially general theoretical principle. The primary example is a genetic network guiding development of the fly embryo, but each idea also is illustrated by examples from neural systems. In each c…

Methods of Stochastic Field Theory in Non-Equilibrium Systems -- Spontaneous Symmetry Breaking of Ergodicity
Tatsuru Kikuchi
https://arxiv.org/abs/2404.01333

Methods of Stochastic Field Theory in Non-Equilibrium Systems -- Spontaneous Symmetry Breaking of Ergodicity
Recently, a couple of investigations related to symmetry breaking phenomena, 'spontaneous stochasticity' and 'ergodicity breaking' have led to significant impacts in a variety of fields related to the stochastic processes such as economics and finance. We investigate on the origins and effects of those original symmetries in the action from the mathematical and the effective field theory points of view. It is naturally expected that whenever the system respects any symmetry, it would be spontan…

This https://arxiv.org/abs/2312.11843 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csRO_…

Enhancing Social Decision-Making of Autonomous Vehicles: A Mixed-Strategy Game Approach With Interaction Orientation Identification
The integration of Autonomous Vehicles (AVs) into existing human-driven traffic systems poses considerable challenges, especially within environments where human and machine interactions are frequent and complex, such as at unsignalized intersections. To deal with these challenges, we introduce a novel framework predicated on dynamic and socially-aware decision-making game theory to augment the social decision-making prowess of AVs in mixed driving environments. This comprehensive framework is …

This https://arxiv.org/abs/2312.14435 has been replaced.
initial toot: https://mastoxiv.page/@…

Thermodynamic and Stoichiometric Laws Ruling the Fates of Growing Systems
We delve into growing open chemical reaction systems (CRSs) characterized by autocatalytic reactions within a variable volume, which changes in response to these reactions. Understanding the thermodynamics of such systems is crucial for comprehending biological cells and constructing protocells, as it sheds light on the physical conditions necessary for their self-replication. Building on our recent work, where we developed a thermodynamic theory for growing CRSs featuring basic autocatalytic m…

Data-Based Control of Continuous-Time Linear Systems with Performance Specifications
Victor G. Lopez, Matthias A. M\"uller
https://arxiv.org/abs/2403.00424

Data-Based Control of Continuous-Time Linear Systems with Performance Specifications
The design of direct data-based controllers has become a fundamental part of control theory research in the last few years. In this paper, we consider three classes of data-based state feedback control problems for linear systems. These control problems are such that, besides stabilization, some additional performance requirements must be satisfied. First, we formulate and solve a trajectory-reference control problem, on which desired closed-loop trajectories are known and a controller that all…

Representing Knowledge and Querying Data using Double-Functorial Semantics
Michael Lambert, Evan Patterson
https://arxiv.org/abs/2403.19884 https://…

Representing Knowledge and Querying Data using Double-Functorial Semantics
Category theory offers a mathematical foundation for knowledge representation and database systems. Popular existing approaches model a database instance as a functor into the category of sets and functions, or as a 2-functor into the 2-category of sets, relations, and implications. The functional and relational models are unified by double functors into the double category of sets, functions, relations, and implications. In an accessible, example-driven style, we show that the abstract structu…

Nonequilibrium relaxation and odd-even effect in finite-temperature electron gases
Eric Nilsson, Ulf Gran, Johannes Hofmann
https://arxiv.org/abs/2405.03635

Nonequilibrium relaxation and odd-even effect in finite-temperature electron gases
Pauli blocking in Fermi liquids imposes strong phase-space constraints on quasiparticle lifetimes, leading to a well-known quadratic-in-temperature decay rate of quasiparticle modes at low temperatures. In two-dimensional systems, however, even longer-lived modes are predicted (dubbed "odd-parity" modes). Here, we present an efficient method to evaluate the full spectrum of relaxational eigenmodes of a Fermi liquid within kinetic theory. We employ this method to study the experimentally relevan…

Systematic study of capture thresholds with time dependent Hartree-Fock theory
Hong Yao, Hui Yang, Ning Wang
https://arxiv.org/abs/2405.01985 https://

Systematic study of capture thresholds with time dependent Hartree-Fock theory
With the time dependent Hartree-Fock (TDHF) theory, capture thresholds $E_{\rm cap}$ for 144 fusion systems with nearly spherical nuclei are systematically studied for the first time. We find that for the reactions between doubly-magic nuclei, the calculated $E_{\rm cap}$ are very close to the extracted barrier heights from measured fusion excitation functions. For the fusion reactions with nearly spherical nuclei, an excitation energy of about 1 MeV at the capture position need to be considere…

Multipartite edge modes and tensor networks
Chris Akers, Ronak M. Soni, Annie Y. Wei
https://arxiv.org/abs/2404.03651 https://arxiv.o…

Multipartite edge modes and tensor networks
Holographic tensor networks model AdS/CFT, but so far they have been limited by involving only systems that are very different from gravity. Unfortunately, we cannot straightforwardly discretize gravity to incorporate it, because that would break diffeomorphism invariance. In this note, we explore a resolution. In low dimensions gravity can be written as a topological gauge theory, which can be discretized without breaking gauge-invariance. However, new problems arise. Foremost, we now need a q…

Confluence of Logically Constrained Rewrite Systems Revisited
Jonas Sch\"opf, Fabian Mitterwallner, Aart Middeldorp
https://arxiv.org/abs/2402.13552 h…

Confluence of Logically Constrained Rewrite Systems Revisited
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were obtained by replaying existing proofs for plain term rewrite systems in a constrained setting, involving a non-trivial effort. We present a simple transformation from logically constrained rewrite systems to term rewrite systems such that critical pairs of the l…

This https://arxiv.org/abs/2311.09720 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Shortcuts to adiabaticity: theoretical framework, relations between different methods, and versatile approximations
Shortcuts to adiabaticity guide given systems to final destinations of adiabatic control via fast tracks. Various methods were proposed as varieties of shortcuts to adiabaticity. Basic theory of shortcuts to adiabaticity was established in the 2010s, but it has still been developing and many fundamental findings have been reported. In this Topical Review, we give a pedagogical introduction to theory of shortcuts to adiabaticity and revisit relations between different methods. Some versatile app…

Accounting for the Effects of Probabilistic Uncertainty During Fast Charging of Lithium-ion Batteries
Minsu Kim, Joachim Schaeffer, Marc D. Berliner, Berta Pedret Sagnier, Rolf Findeisen, Richard D. Braatz
https://arxiv.org/abs/2405.01681

Accounting for the Effects of Probabilistic Uncertainty During Fast Charging of Lithium-ion Batteries
Batteries are nonlinear dynamical systems that can be modeled by Porous Electrode Theory models. The aim of optimal fast charging is to reduce the charging time while keeping battery degradation low. Most past studies assume that model parameters and ambient temperature are a fixed known value and that all PET model parameters are perfectly known. In real battery operation, however, the ambient temperature and the model parameters are uncertain. To ensure that operational constraints are satisf…

Dynamical Systems on Compact Metrizable Groups
Binghui Xiao
https://arxiv.org/abs/2402.19074 https://arxiv.org/pdf/2402.19074<…

Dynamical Systems on Compact Metrizable Groups
This paper mainly studies the theory of dynamical systems on compact metrizable groups, with a special focus on extending the maximal entropy theorem and the ergodicity of invariant measure convolution from the isomorphic case to the surjective homomorphism case. It explores in detail the dynamical systems under surjective homomorphisms, especially the variation of measure entropy. Let $G_{2}$ be a compact metric group acting freely on $G_{1}$, and the continuous mapping $T_{2}$ $G_{2}-$commute…

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Fr\'ed\'eric Lang (INRIA Grenoble Rh\^one-Alpes, France), Matthias Volk (Eindhoven University of Technology, The Netherlands)
https://arxiv.org/abs/2403.17862

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software co-design, biology, etc. The motivation and aim for MARS stem from…

Holographic Global Vortices with Novel Boundary Conditions
Markus A. G. Amano, Minoru Eto
https://arxiv.org/abs/2404.03212 https://ar…

Holographic Global Vortices with Novel Boundary Conditions
The AdS/CFT correspondence has significantly impacted the study of strongly coupled systems, providing insights into various condensed matter phenomena through its holographic duality. This paper introduces an alternative approach to the breaking of the global $U(1)$ symmetry in the bulk in two asymptotically AdS spacetimes: AdS plus hard wall and AdS Blackbrane. We explore a $(3+1)$-dimensional bulk $U(1)$ symmetry-breaking phase vacuum within a global $U(1)$ $ϕ^4$ field theory, without the g…

This https://arxiv.org/abs/2311.11156 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_mat…

Collaborative Safe Formation Control for Coupled Multi-Agent Systems
The safe control of multi-robot swarms is a challenging and active field of research, where common goals include maintaining group cohesion while simultaneously avoiding obstacles and inter-agent collision. Building off our previously developed theory for distributed collaborative safety-critical control for networked dynamic systems, we propose a distributed algorithm for the formation control of robot swarms given individual agent dynamics, induced formation dynamics, and local neighborhood p…

This https://arxiv.org/abs/2212.11743 has been replaced.
link: https://scholar.google.com/scholar?q=a

Amoeba Formulation of Non-Bloch Band Theory in Arbitrary Dimensions
The non-Hermitian skin effect dramatically reshapes the energy bands of non-Hermitian systems, meaning that the usual Bloch band theory is fundamentally inadequate as their characterization. The non-Bloch band theory, in which the concept of Brillouin zone is generalized, has been widely applied to investigate non-Hermitian systems in one spatial dimension. However, its generalization to higher dimensions has been challenging. Here, we develop a formulation of the non-Hermitian skin effect and …

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
Fr\'ed\'eric Lang (INRIA Grenoble Rh\^one-Alpes, France), Matthias Volk (Eindhoven University of Technology, The Netherlands)
https://arxiv.org/abs/2403.17862

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
This volume contains the proceedings of MARS 2024, the sixth workshop on Models for Formal Analysis of Real Systems, held as part of ETAPS 2024, the European Joint Conferences on Theory and Practice of Software. The MARS workshops bring together researchers from different communities who are developing formal models of real systems in areas where complex models occur, such as networks, cyber-physical systems, hardware/software co-design, biology, etc. The motivation and aim for MARS stem from…

Optimal Control of Underdamped Systems: An Analytic Approach
Julia Sanders, Marco Baldovin, Paolo Muratore-Ginanneschi
https://arxiv.org/abs/2403.00679 htt…

Optimal Control of Underdamped Systems: An Analytic Approach
Optimal control theory deals with finding protocols to steer a system between assigned initial and final states, such that a trajectory-dependent cost function is minimized. The application of optimal control to stochastic systems is an open and challenging research frontier, with a spectrum of applications ranging from stochastic thermodynamics, to biophysics and data science. Among these, the design of nanoscale electronic components motivates the study of underdamped dynamics, leading to pra…

Approximations of symbolic substitution systems in one dimension
Lior Tenenbaum
https://arxiv.org/abs/2402.19151 https://arxiv.org/pd…

Approximations of symbolic substitution systems in one dimension
Periodic approximations of quasicrystals are a powerful tool in analyzing spectra of Schrödinger operators arising from quasicrystals, given the known theory for periodic crystals. Namely, we seek periodic operators whose spectra approximate the spectrum of the limiting operator (of the quasicrystal). This naturally leads to study the convergence of the underlying dynamical systems. We treat dynamical systems which are based on one-dimensional substitutions. We first find natural candidates of…

This https://arxiv.org/abs/2402.13552 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

Confluence of Logically Constrained Rewrite Systems Revisited
We show that (local) confluence of terminating locally constrained rewrite systems is undecidable, even when the underlying theory is decidable. Several confluence criteria for logically constrained rewrite systems are known. These were obtained by replaying existing proofs for plain term rewrite systems in a constrained setting, involving a non-trivial effort. We present a simple transformation from logically constrained rewrite systems to term rewrite systems such that critical pairs of the l…

This https://arxiv.org/abs/2310.06892 has been replaced.
initial toot: https://mastoxiv.page/@…

Field theory for the dynamics of the open $O(N)$ model
A field theory approach for the nonequilibrium relaxation dynamics in open systems at late times is developed. In the absence of conservation laws, all excitations are subject to dissipation. Nevertheless, ordered stationary states satisfy Goldstone's theorem. It implies a vanishing damping rate at small momenta, which in turn allows for competition between environment-induced dissipation and thermalization due to collisions. We derive the dynamic theory in the symmetry-broken phase of an $O(N)…

Theory of the inverse Faraday effect in dissipative Rashba electron systems: Floquet engineering perspective
Miho Tanaka, Masahiro Sato
https://arxiv.org/abs/2403.20110

Theory of the inverse Faraday effect in dissipative Rashba electron systems: Floquet engineering perspective
We theoretically study the inverse Faraday effect (IFE), i.e., photo-induced magnetization, in two-dimensional Rashba spin-orbit coupled electron systems irradiated by a circularly polarized light. Quantum master (GKSL) equation enables us to accurately compute the laser driven dynamics, taking inevitable dissipation effects into account. To find the universal features of laser-driven magnetization and its dynamics, we investigate (i) the nonequilibrium steady state (NESS) driven by a continuou…

Interpretation of Inaccessible Sets in Martin-L\"{o}f Type Theory with One Mahlo Universe
Yuta Takahashi
https://arxiv.org/abs/2402.15074 https://

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe
Martin-Löf type theory $\mathbf{MLTT}$ was extended by Setzer with the so-called Mahlo universe types. This extension is called $\mathbf{MLM}$ and was introduced to develop a variant of $\mathbf{MLTT}$ equipped with an analogue of a large cardinal. Another instance of constructive systems extended with an analogue of a large set was formulated in the context of Aczel's constructive set theory: $\mathbf{CZF}$. Rathjen, Griffor and Palmgren extended $\mathbf{CZF}$ with inaccessible sets of all t…

A spectral investigation of criticality and crossover effects in two and three dimensions: Short timescales with small systems in minute random matrices
Eliseu Venites Filho, Roberto da Silva, Jos\'e Roberto Drugowich de Fel\'icio
https://arxiv.org/abs/2404.02380

A spectral investigation of criticality and crossover effects in two and three dimensions: Short timescales with small systems in minute random matrices
Random matrix theory, particularly using matrices akin to the Wishart ensemble, has proven successful in elucidating the thermodynamic characteristics of critical behavior in spin systems across varying interaction ranges. This paper explores the applicability of such methods in investigating critical phenomena and the crossover to tricritical points within the Blume-Capel model. Through an analysis of eigenvalue mean, dispersion, and extrema statistics, we demonstrate the efficacy of these spe…

This https://arxiv.org/abs/2402.17927 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csLO_…

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is based on zero decomposition techniques, which find finite basis explanations for theory conflicts over finite fields. As the MCSat solver within Yices2 can support (and combine) several theories via theory plugins, we implemented our reasoning approa…

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
Thomas Hader, Daniela Kaufmann, Ahmed Irfan, St\'ephane Graham-Lengrand, Laura Kov\'acs
https://arxiv.org/abs/2402.17927

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
This system description introduces an enhancement to the Yices2 SMT solver, enabling it to reason over non-linear polynomial systems over finite fields. Our reasoning approach fits into the model-constructing satisfiability (MCSat) framework and is based on zero decomposition techniques, which find finite basis explanations for theory conflicts over finite fields. As the MCSat solver within Yices2 can support (and combine) several theories via theory plugins, we implemented our reasoning approa…

Better Bounded Bisimulation Contractions (Preprint)
Thomas Bolander, Alessandro Burigana
https://arxiv.org/abs/2405.00480 https://arx…

Better Bounded Bisimulation Contractions (Preprint)
Bisimulations are standard in modal logic and, more generally, in the theory of state-transition systems. The quotient structure of a Kripke model with respect to the bisimulation relation is called a bisimulation contraction. The bisimulation contraction is a minimal model bisimilar to the original model, and hence, for (image-)finite models, a minimal model modally equivalent to the original. Similar definitions exist for bounded bisimulations ($k$-bisimulations) and bounded bisimulation cont…